Concrete Semantics of Programs with Non-Deterministic and Random Inputs
نویسندگان
چکیده
This document gives semantics to programs written in a C-like programming language, featuring interactions with an external environment with noisy and imprecise data.
منابع مشابه
Backwards Abstract Interpretation of Probabilistic Programs
In industrial contexts, safety regulations often mandate upper bounds on the probabilities of failure. Now that embedded computers are part of many industrial environments, it is often needed to analyze programs with non-deterministic and probabilistic behavior. We propose a general abstract interpretation based method for the static analysis of programs using random generators or random inputs...
متن کاملA Deterministic Logical Semantics for Esterel
Esterel is a synchronous design language for the specification of reactive systems. There exist two main semantics for Esterel. On the one hand, the logical behavioral semantics provides a simple and compact formalization of the behavior of programs using SOS rules. But it does not ensure deterministic executions for all programs and all inputs. As non-deterministic programs have to be rejected...
متن کاملNon Deterministic Logic Programs
Non deterministic applications arise in many domains, including, stochastic optimization, multi-objectives optimization, stochastic planning, contingent stochastic planning, reinforcement learning, reinforcement learning in partially observable Markov decision processes, and conditional planning. We present a logic programming framework called non deterministic logic programs, along with a decl...
متن کاملProbabilistic and Non-deterministic Semantics for Iterative Programs
In this paper probabilistic and non-deterministic programs are considered on the ground of logic of programs. We are interested in dependencies between nondeterministic and probabilistic interpretation of a program. The formal definitions of probabilistic and non-deterministic semantics are the starting point for our considerations. The emphasis is on differences in expressibility the halting p...
متن کاملExtending the Role of Causality in Probabilistic Modeling
Causality plays an important role in probabilistic modeling. Often, a probability distribution can be naturally described as the outcome of a causal process, in which different random variables interact through a series of non-deterministic events. However, formal tools such as Bayesian networks do not directly represent such events, but focus instead on derivate concepts such as probabilistic ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1210.2605 شماره
صفحات -
تاریخ انتشار 2012